#include <stdio.h>

void print_str(const char *s)
{
	do {
		if (s == NULL) {
			break;
		}

		printf("0x'");
		for (; *s != '\0'; s++) {
			printf("\\%x", *((const unsigned char *)s));    // fix 'fffff' error caused by x86 sign extension
		}
		printf("'\n");
	} while (0);
}

